(SETQ inist '(1 2 7 0 3 8 4 6 5) goal '(1 2 3 4 5 6 7 8 0))